منابع مشابه
Invariant P - Values for Model Checking
P -values have been the focus of considerable criticism based on various considerations. Still, the P -value represents one of the most commonly used statistical tools. When assessing the suitability of a single hypothesized distribution, it is not clear that there is a better choice for a measure of surprise. This paper is concerned with the definition of appropriate model-based P -values for ...
متن کاملInvariant P-values for Model Checking and Checking for Prior-data Conflict
P -values have been the focus of considerable criticism based on various considerations. Still the P -value represents one of the most commonly used statistical tools. When we are assessing the suitability of a single hypothesized distribution, it is not clear that there is a better choice of a measure of surprise. This paper is concerned with the definition of appropriate model-based P -values...
متن کاملModel Checking Kernel P Systems
Recent research in membrane computing examines and confirms the anticipated modelling potential of kernel P systems in several case studies. On the one hand, this computational model is destined to be an abstract archetype which advocates the unity and integrity of P systems onto a single formalism. On the other hand, this envisaged convergence is conceived at the expense of a vast set of primi...
متن کاملGoal-Directed Invariant Synthesis for Model Checking Modulo Theories
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reachability analysis. The main theoretical result ensures that (under suitable hypotheses) our method is guaranteed to find an invariant if one exists. We also discuss heuristics that allow us to derive an implementation of...
متن کاملOn Model-Checking of P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, namely a P system, from natural phenomena of cell evolutions and chemical reactions. Because of the nature of maximal parallelism inherent in the model, P systems have a great potential for implementing massively concur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Statistics
سال: 2010
ISSN: 0090-5364
DOI: 10.1214/09-aos727